International Logic Olympiad
https://www.logicolympiad.org/
国際論理オリンピック